Interchanging arguments between Carneades and AIF
نویسندگان
چکیده
We have implemented a translator that translates Carneades Argument Graphs as specified in the LKIF files of the Carneades editor to a database specification of the Argument Interchange Format and vice versa. In this paper the algorithms for this translation are presented.
منابع مشابه
Thesis for the degree of Master of Science Relating proof standards and abstract argumentation
The basic idea of argumentation is to construct arguments in favour of and against a certain statement, selecting the acceptable arguments, and in the end determining which statements hold. To explain how arguments defend their position, they can be structured by their used knowledge and rules. Several approaches to structured argumentation have been developed and subsequently related through a...
متن کاملCombining Rules and Ontologies with Carneades
The Carneades software system provides support for constructing, evaluating and visualizing arguments, using formal representations of facts, concepts, defeasible rules and argumentation schemes. This paper illustrates how rules and ontologies can be combined in Carneades with a prototype legal application for analyzing open source software license compatibility issues in particular cases.
متن کاملThe Carneades Argumentation Framework - Using Presumptions and Exceptions to Model Critical Questions
We present a formal, mathematical model of argument structure and evaluation, called the Carneades Argumentation Framework, which applies proof standards [5] to determine the defensibility of arguments and the acceptability of statements on an issue-by-issue basis. Carneades uses three kinds of premises (ordinary premises, presumptions and exceptions) and information about the dialectical statu...
متن کاملVisualizing Carneades Argument Graphs
Carneades is a computational model of argument, based on the state-of-theart of argumentation theory in philosophy. This article presents a diagramming method for Carneades, similar to Wigmore charts, and illustrates how to map legal evidence using this method. With suitable computer support, in the form of a special purpose argument diagram editor, users need not understand the mathematics of ...
متن کاملA Reconstruction using the Carneades Argumentation Framework
The Pierson vs. Post case [1] has become an important benchmark in the field of AI and Law for computational models of argumentation. In [2], BenchCapon used Pierson vs. Post to motivate the use of values and value preferences in his theory-construction account of legal argument. And in a more a recent paper by Atkinson, Bench-Capon and McBurney [3], it was used to illustrate a formalization of...
متن کامل